Natural Deductive Logic: Rules